Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
111	PyHVL 0.3 PyHVL A verification tool developed by Add to Reading List Source URL: pyhvl.sourceforge.net Language: English - Date: 2007-08-31 15:17:59 Software engineering Computer programming Computing Hardware description languages Scripting languages Hardware verification languages Verilog Logic design Verilog Procedural Interface Callback Immutable object Python
112	Verifying Cross-Cutting Features as Open Systems Harry Li† Shriram Krishnamurthi Kathi Fisler Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-30 10:29:52 Mathematical logic Theoretical computer science Formal methods Logic Logic in computer science Hardware verification languages Model checking Formal verification E Gmail Aspect-oriented software development Propositional calculus
113	Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework* Amit Vasudevan∗, Sagar Chaki† , Limin Jia∗ , Jonathan McCune‡ , James Newsome§ and Anupam Datta∗ ∗ CyLab, Carnegie M Add to Reading List Source URL: www.netsec.ethz.ch Language: English - Date: 2015-06-01 09:06:14 Computing Software System software Hardware virtualization Hypervisor X86 virtualization Hyper-V Xen Protection ring VMware Virtualization Direct memory access
114	Putting the User in Usable Verification Kathi Fisler WPI Department of Computer Science (joint work with Shriram Krishnamurthi, Brown University) November 3, 2010 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-03 22:22:08 Software engineering Formal methods Theoretical computer science Systems engineering Business Logic in computer science Formal verification Verification and validation Requirement Object Process Methodology Runtime verification
115	Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-12-13 08:22:59 Theoretical computer science Software engineering Logic in computer science Computing Formal methods Programming language semantics Compiler construction Operational semantics Semantics Formal verification Compiler correctness Programming language
116	Distributed Asymmetric Verification in Computational Grids Michael Kuhn, Stefan Schmid, Roger Wattenhofer Computer Engineering and Networks Laboratory (TIK) ETH Zurich CH-8092 Zurich, Switzerland Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:29 Concurrent computing Distributed computing Software Berkeley Open Infrastructure for Network Computing Volunteer computing Grid computing Climateprediction.net NC BitTorrent SETI@home Algorithm
117	University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:54 Theoretical computer science Logic in computer science Formal methods Software engineering Formal verification Refinement Linearizability Correctness Operational semantics Semantics Concurrency Algorithm
118	M A N U FA C T U R I N G C O R P O R AT I O NE t o n A v e . , C a n o g a P a r k , C A • ( 110 0 Fax: ( • www.rainborecords.com • CREDIT CARD Add to Reading List Source URL: www.rainborecords.com Language: English - Date: 2013-04-25 15:04:51 E-commerce Computing Address Verification System Software engineering Computer programming Signed overpunch
119	NSQ100 Guidelines - Section E - DesignDecember Add to Reading List Source URL: www.nqsa.org Language: English - Date: 2012-10-24 11:50:25 Software engineering Value Evaluation Systems engineering Pharmaceutical industry Validity Quality Software quality Validation Verification and validation Software verification and validation Design review
120	CodeVerify A New Level of Security & Robustness Verification Codenomicon is the industry leader in bringing strength in visibility to connected systems and devices through a next-generation suite of tools and services th Add to Reading List Source URL: www.codenomicon.com Language: English - Date: 2016-07-06 08:58:36 Software testing Business Security Codenomicon Verification and validation Computer security